61. Implementation of functional languages: 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000: selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
62
.
I56
2000
62. Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers
پدیدآورنده : Markus Mohnen, Pieter Koopman )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2011
63. Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised papers
پدیدآورنده : Ricardo Peلa, Thomas Arts )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2670
64. Implementation of functional languages : 9th international workshop, IFL'97 : St. Andrews, Scotland, UK, September 1997 : selected papers
پدیدآورنده : Chris Clack, Kevin Hammond, Tony Davie )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1467
65. Implementierung funktionaler Programmiersprachen :
پدیدآورنده : Michael Gloger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming languages.,Funktionale Programmiersprache,Implementierung
رده :
QA76
.
62
M534
1993
66. Introducing Elixir
پدیدآورنده : Simon St. Laurent, J. David Eisenberg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software-- Development,Functional programming languages
رده :
QA76
.
62
.
S8
2014
67. Introducing Elixir
پدیدآورنده : Simon St. Laurent, J. David Eisenberg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software-- Development,Functional programming languages
رده :
QA76
.
62
.
S8
2014
68. Lambda-calculus, combinators, and functional programming
پدیدآورنده : Revesz, Gyorgy E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
69. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
70. Learning Haskell data analytics :
پدیدآورنده : James Church
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming languages,Haskell (Computer program language),Statistics-- Computer programs
رده :
QA76
.
73
.
H37
71. Mastering Clojure macros
پدیدآورنده : Colin Jones
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Clojure (Computer program language),Functional programming (Computer science),Functional programming languages,Macro instructions (Electronic computers)
رده :
QA76
.
62
.
J66
2014
72. Mise en oeuvre des langages fonctionnels de programmation
پدیدآورنده : Simon L.Peyton Jones ; with Chapters by Philip Wadler, Peter Hancock , David Turner
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Functional programming languages
رده :
QA
76
.
7
.
P414
1987
73. Parallel functional languages and compilers
پدیدآورنده : edited by Boleslaw K. Szymanski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Parallel programming )Computer science(,، Functional programming languages,، Compilers )Computer programs(
رده :
QA
76
.
642
.
P37
1991
74. Practical OCaml
پدیدآورنده : Joshua B. Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming (Computer science),Functional programming languages.,OCaml (Computer program language)
75. Principles of functional programming
پدیدآورنده : Glaser, Hugh
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Functional programming )Computer science(,، Functional programming languages
رده :
QA
76
.
6
.
G558
1984
76. #Principles of functional programming
پدیدآورنده : #Hugh Glaser, Chris Hankin )and( David Till
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Functional programming )Computer science( ،Functional programming languages
رده :
#
QA
،#.
G5337
،#
1984
77. Programming Elixir > 1.6 :
پدیدآورنده : by Dave Thomas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Elixir (Computer program language),Functional programming languages.,COMPUTERS / Programming Languages / General,Elixir (Computer program language),Functional programming languages.
رده :
QA76
.
62
78. Programming with Miranda
پدیدآورنده : Chris Cack, Colin Myers, Ellen Poon,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Functional programming languages,Miranda )Computer program language(
رده :
QA
.
C55
76
.
62
1994
79. Scala functional programming patterns :
پدیدآورنده : Atul S. Khot
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming languages,Scala (Computer program language)
رده :
QA76
.
73
.
S28
80. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
